翻訳と辞書
Words near each other
・ ELL (gene)
・ Ell (surname)
・ Ell Pond
・ Ell Roberson III
・ Ell Township, Hancock County, Iowa
・ Ell, Luxembourg
・ Ell, Netherlands
・ Ell-Cranell
・ ELL3
・ Ella
・ Ella (Ella Fitzgerald album)
・ Ella (José Alfredo Jiménez song)
・ Ella (Juan Gabriel album)
・ Ella (Malaysian singer)
・ Ella (name)
ELLA (programming language)
・ Ella A. Boole
・ Ella Abraça Jobim
・ Ella Adayevskaya
・ Ella Amitay Sadovsky
・ Ella and Basie!
・ Ella and Duke at the Cote D'Azur
・ Ella and Louis
・ Ella and Louis Again
・ Ella and Oscar
・ Ella Anderson
・ Ella Anker
・ Ella at Duke's Place
・ Ella at Juan-Les-Pins
・ Ella Austin Orphanage


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ELLA (programming language) : ウィキペディア英語版
ELLA (programming language)
ELLA is a Hardware description language and support toolset. Developed by the Royal Signals and Radar Establishment during the 1980s and 90s.
Includes tools to perform:
* design transformation
* symbolic simulations
* formal verification
ELLA is a winner of the 1989 Queen's Award for Technological Achievement.
== Sample ==
Sample originally from ftp://ftp.dra.hmg.gb/pub/ella - Public release.
Code for matrix multiplication hardware design verification:

MAC ZIP = ((n )TYPE t: vector1 vector2) -> ()()t:
(k = 1..n )(vector1(), vector2()).

MAC TRANSPOSE = ((n )(m )TYPE t: matrix) -> ()()t:
(i = 1..m ) (j = 1..n ) matrix()().
MAC INNER_PRODUCT
= ((n )()t: vector) -> s:
IF n = 1 THEN
*vector()
ELSE
*vector() + INNER_PRODUCT vector()
FI.
MAC MATRIX_MULT =
((n )(m )t: matrix1, ()(p )t: matrix2) -> ()()s:
BEGIN
LET transposed_matrix2 = TRANSPOSE matrix2.
OUTPUT (i = 1..n )(j = 1..p )
INNER_PRODUCTZIP(matrix1(),transposed_matrix2())
END.
TYPE element = NEW elt/(1..20),
product = NEW prd/(1..1200).
FN PLUS = (product: integer1 integer2) -> product:
ARITH integer1 + integer2.
FN MULT = (element: integer1 integer2) -> product:
ARITH integer1
* integer2.
FN MULT_234 = (()()element:matrix1, ()()element:matrix2) ->
()()product:
MATRIX_MULT(matrix1, matrix2).
FN TEST = () -> ()()product:
( LET m1 = ((elt/2, elt/1, elt/1),
(elt/3, elt/6, elt/9)),
m2 = ((elt/6, elt/1, elt/3, elt/4),
(elt/9, elt/2, elt/8, elt/3),
(elt/6, elt/4, elt/1, elt/2)).
OUTPUT
MULT_234 (m1, m2)
).
COM test: just displaysignal MOC


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ELLA (programming language)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.